大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

0
索取号:
作者:Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

0
索取号:
作者:Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, V盲ster氓s, Sweden, June 29 - July 1, 2006. Proceedings

0
索取号:
作者:Gorton、 Ian.、Heineman、 George T.、Crnkovi膰、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Progress in Spatial Data Handling [electronic resource] : 12th International Symposium on Spatial Data Handling

0
索取号:
作者:Riedl、 Andreas.、Kainz、 Wolfgang.、Elmes、 Gregory A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers

0
索取号:
作者:Yli-Jyr盲、 Anssi.、Karttunen、 Lauri.、Karhum盲ki、 Juhani.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Combinatorial Pattern Matching [electronic resource] : 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings

0
索取号:
作者:Lewenstein、 Moshe.、Valiente、 Gabriel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

0
索取号:
作者:Horv谩th、 Andr谩s.、Telek、 Mikl贸s.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithmic Aspects in Information and Management [electronic resource] : Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings

0
索取号:
作者:Cheng、 Siu-Wing.、Poon、 Chung Keung.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

0
索取号:
作者:Gorrieri、 Roberto.、Wehrheim、 Heike.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Soft Methods for Integrated Uncertainty Modelling [electronic resource]

0
索取号:
作者:Lawry、 Jonathan.、Miranda、 Enrique.、Bugarin、 Alberto.、Li、 Shoumei.、Gil、 Maria Angeles.、Grzegorzewski、 Przemys aw.、Hyrniewicz、 Olgierd.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

0
索取号:
作者:Dunne、 Steve.、Stoddart、 Bill.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

0
索取号:
作者:Ciancarini、 Paolo.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

High Availability and Disaster Recovery [electronic resource] : Concepts, Design, Implementation

0
索取号:
作者:Schmidt、 Klaus.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III

0
索取号:
作者:Wang、 Jun.、Yi、 Zhang.、Zurada、 Jacek M.、Lu、 Bao-Liang.、Yin、 Hujun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Domain Decomposition Methods in Science and Engineering XVI [electronic resource]

0
索取号:
作者:Widlund、 Olof B.、Keyes、 David E.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Robust Numerical Methods for Singularly Perturbed Differential Equations [electronic resource] : Convection-Diffusion-Reaction and Flow Problems

0
索取号:
作者:Roos、 Hans-G枚rg.、Stynes、 Martin.、Tobiska、 Lutz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类